* master:
  Change the default to threading (#1779)
  Coveralls Take 2 (#1784)
  Capture return values in run.sh (#1776)
  Create a model for strncpy (#1770)
  Add doc, fix output bugs (#1769)

* master:
  Linux: Add stat method for FdLike (#1780)
  Use default handler for symbolic system call arguments (#1785)

Extremely strange that my local black==19.10b0 doesn't catch this, but the one on GH actions does

* fix-emulate-step:
  Make rusticorn binary actually check behavior
  Add a Rust/Unicorn resumption test
  Fix linting on test_general
  Make emulator reinitialize after write backs are disabled
  Disable write back once we hit our stop in Unicorn emulation

* master:
  Change types.FunctionType=<class 'function'> (#1803)
  Fix test regressions (#1804)
  State Introspection API (#1775)
  Fix EVM account existence checks for selfdestruct and call (#1801)
  Add partial implementation of sendto syscall (#1791)
  crytic-compile: use latest release (#1795)
  Update gas metering for calls to empty accounts (#1774)
  Fix BitVec with symbolic offset and fix TranslatorSmtlib.unique thread safety (#1792)
  Fix Coveralls for external PRs (#1794)
  Convert plugin list to dict (#1781)
  Symbolic-length reads from symbolic sockets (#1786)
  Removing Thread unsafe global caching (#1788)
  Add Manticore native State-specific hooks (#1777)

* capstone-5-dev:
  New x86 instrution test
  Add lacking x86 tests
  ENDBR64 as nop
  Ignore coverage tracking for defensive assertions and exceptions
  Update Capstone commit to fix arm64 LD1 instruction immediates
  Fix ARM
  Fix aarch64
  Use my capstone dev branch until fixes are merged into next

* master:
  Manticore 0.3.5 (#1808)
  Fix yices timeout argument (#1817)
  Detect default solver (#1820)
  Ignore Gas Calculations by Default (#1816)
  native/cpu/x86: Add support for CPUID EAX=80000000h (#1811)

Sphinx doesn't handle side-effects of importing

Helpful for knowing the exact last executed instruction address.

The copied RegisterFile should be read-only and used to keep track of
concrete register values at a certain instant

* master:
  Removed use of global solver from Native Memory (#2414)
  Support to use boolector as the SMT solver (#2410)
  Update CI and suggest to use pip3 instead of pip (#2409)
  Expressions use keyword-only arguments for init (#2395)
  Use Slots on all Expression objects (#2394)
  Allow double-adding exact same config option (#2397)
  Don't run OSX tests on PR
  Attempt to Fix solc Installation MacOS (#2392)
  Syscall specific hooks (#2389)
  TUI Support Infrastructure (#1620)
  Fix coveralls upload (#2387)
  docs: fix simple typo, straigth -> straight (#2381)
  Attempt to allow symbolic balances from the start (#1818)
  Fix state.cpu.PC member (#1825)
  Bump black and mypy (#1824)

* master:
  Fix the generation of EVM tests (#2426)
  Disabled EVM events in testcases by default (#2417)
  added proper timeouts for cvc4 and boolector (#2418)

* fix-emulate-step:
  Fix addresses and improve error handling
  Delete duplicated test method

* master: (22 commits)
  Fix the generation of EVM tests (#2426)
  Disabled EVM events in testcases by default (#2417)
  added proper timeouts for cvc4 and boolector (#2418)
  Removed use of global solver from Native Memory (#2414)
  Support to use boolector as the SMT solver (#2410)
  Update CI and suggest to use pip3 instead of pip (#2409)
  Expressions use keyword-only arguments for init (#2395)
  Use Slots on all Expression objects (#2394)
  Allow double-adding exact same config option (#2397)
  Don't run OSX tests on PR
  Attempt to Fix solc Installation MacOS (#2392)
  Syscall specific hooks (#2389)
  TUI Support Infrastructure (#1620)
  Fix coveralls upload (#2387)
  docs: fix simple typo, straigth -> straight (#2381)
  Attempt to allow symbolic balances from the start (#1818)
  Fix state.cpu.PC member (#1825)
  Bump black and mypy (#1824)
  Manticore 0.3.5 (#1808)
  Fix yices timeout argument (#1817)
  ...

* Update unicorn to latest 1.0.2

* Update capstone to latest 4.0.2

* Correctly process memory maps

* Synchronize data from manticore to unicorn upon resume

* Fix some issues with FS register and segments

* Fix some synchronization with CPUID instruction as compared to Unicorn

* X86 syscall instruction breakout for semantics

* fix-emulate-step:
  Fix Unicorn resume

* heap_tracking changes

* Updated arguments to account for registers and addresses + ran black

* Updated logging setLevel()

* remove _save_to_file

* Location data

* fix

* Clean out some logging statements

* more logging changes in hook_malloc_lib